<?hh

class cdt3 implements DateTimeInterface {}
